1. Computability and logic
پدیدآورنده: George Boolos, Richard Jeffrey,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
.
B66
9
.
59
1980


2. The unprovability of consistency : an essay in modal logic
پدیدآورنده: George Boolos,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Modality )Logic(,Proof theory
رده :
BC
.
M6B66
199

